$\forall$$A$:Type, $F$:($t$:$\mathbb{N}\rightarrow$(\{0..$t$$^{-}$\}$\rightarrow$$A$)$\rightarrow$$A$). CV($F$) $\in$ $\mathbb{N}\rightarrow$$A$